Section: Contracts and Grants with Industry

Contracts with Industry

Contracts

Anastasy

• Title: Anastasy

• Type: Industrial contract

• Duration: September 2009 - December 2011

• Others partners: Airbus France

• Abstract: Anastasy (ANAlyse STAtique aSYnchone) is an industrial project with Airbus France on the static program analysis of asynchronous programs by abstract interpretation which objective is determined annually. Patrick Cousot is the principal investigator for this action.

License agreement

Astrée

In February 2009 was signed an exploitation license agreement between CNRS, École Normale Supérieure, and AbsInt Angewandte Informatik GmbH for the industrialization of the Astrée analyzer. Astrée is commercially available from AbsInt since January 2010. Continuous work goes on to adapt the Astrée static analyzer to industrial needs, in particular for the automotive industry. Radhia Cousot is the scientific contact.